(第1空)软件文档是影响软件可维护性的决定因素。软件的文档可以分为用户文档和( )两类。其中，用户文档主要描述( )和使用方法，并不关心这些功能是怎样实现的。